Closure Problem
   HOME

TheInfoList



OR:

In
graph theory In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conne ...
and
combinatorial optimization Combinatorial optimization is a subfield of mathematical optimization that consists of finding an optimal object from a finite set of objects, where the set of feasible solutions is discrete or can be reduced to a discrete set. Typical combi ...
, a closure of a
directed graph In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is made up of a set of vertices connected by directed edges, often called arcs. Definition In formal terms, a directed graph is an ordered pa ...
is a set of vertices ''C'', such that no edges leave ''C''. The closure problem is the task of finding the maximum-weight or minimum-weight closure in a vertex-weighted directed graph... It may be solved in polynomial time using a reduction to the
maximum flow problem In optimization theory, maximum flow problems involve finding a feasible flow through a flow network that obtains the maximum possible flow rate. The maximum flow problem can be seen as a special case of more complex network flow problems, such ...
. It may be used to model various application problems of choosing an optimal subset of tasks to perform, with dependencies between pairs of tasks, one example being in
open pit mining Open-pit mining, also known as open-cast or open-cut mining and in larger contexts mega-mining, is a surface mining technique of extracting rock or minerals from the earth from an open-air pit, sometimes known as a borrow. This form of mining ...
.


Algorithms


Condensation

The maximum-weight closure of a given graph ''G'' is the same as the
complement A complement is something that completes something else. Complement may refer specifically to: The arts * Complement (music), an interval that, when added to another, spans an octave ** Aggregate complementation, the separation of pitch-class ...
of the minimum-weight closure on the
transpose graph In the mathematical and algorithmic study of graph theory, the converse, transpose or reverse, entry 2.24 of a directed graph is another directed graph on the same set of vertices with all of the edges reversed compared to the orientation of th ...
of ''G'', so the two problems are equivalent in computational complexity. If two vertices of the graph belong to the same
strongly connected component In the mathematical theory of directed graphs, a graph is said to be strongly connected if every vertex is reachable from every other vertex. The strongly connected components of an arbitrary directed graph form a partition into subgraphs that a ...
, they must behave the same as each other with respect to all closures: it is not possible for a closure to contain one vertex without containing the other. For this reason, the input graph to a closure problem may be replaced by its
condensation Condensation is the change of the state of matter from the gas phase into the liquid phase, and is the reverse of vaporization. The word most often refers to the water cycle. It can also be defined as the change in the state of water vapor to ...
, in which every strongly connected component is replaced by a single vertex. The condensation is always a
directed acyclic graph In mathematics, particularly graph theory, and computer science, a directed acyclic graph (DAG) is a directed graph with no directed cycles. That is, it consists of vertices and edges (also called ''arcs''), with each edge directed from one ve ...
.


Reduction to maximum flow

As showed, a maximum-weight closure may be obtained from ''G'' by solving a
maximum flow problem In optimization theory, maximum flow problems involve finding a feasible flow through a flow network that obtains the maximum possible flow rate. The maximum flow problem can be seen as a special case of more complex network flow problems, such ...
on a graph ''H'' constructed from ''G'' by adding to it two additional vertices ''s'' and ''t''. For each vertex ''v'' with positive weight in ''G'', the augmented graph ''H'' contains an edge from ''s'' to ''v'' with capacity equal to the weight of ''v'', and for each vertex ''v'' with negative weight in ''G'', the augmented graph ''H'' contains an edge from ''v'' to ''t'' whose capacity is the negation of the weight of ''v''. All of the edges in ''G'' are given infinite capacity in ''H''. A
minimum cut In graph theory, a minimum cut or min-cut of a graph is a cut (a partition of the vertices of a graph into two disjoint subsets) that is minimal in some metric. Variations of the minimum cut problem consider weighted graphs, directed graphs, term ...
separating ''s'' from ''t'' in this graph cannot have any edges of ''G'' passing in the forward direction across the cut: a cut with such an edge would have infinite capacity and would not be minimum. Therefore, the set of vertices on the same side of the cut as ''s'' automatically forms a closure ''C''. The capacity of the cut equals the weight of all positive-weight vertices minus the weight of the vertices in ''C'', which is minimized when the weight of ''C'' is maximized. By the
max-flow min-cut theorem In computer science and optimization theory, the max-flow min-cut theorem states that in a flow network, the maximum amount of flow passing from the ''source'' to the ''sink'' is equal to the total weight of the edges in a minimum cut, i.e., the ...
, a minimum cut, and the optimal closure derived from it, can be found by solving a maximum flow problem.


Alternative algorithms

Alternative algorithms for the maximum closure problem that do not compute flows have also been studied... As cited by . Their running time is similar to that of the fastest known flow algorithms.


Applications


Open pit mining

An open pit mine may be modeled as a set of blocks of material which may be removed by mining it once all the blocks directly above it have been removed. A block has a total value, equal to the value of the minerals that can be extracted from it minus the cost of removal and extraction; in some cases, a block has no extraction value but must still be removed to reach other blocks, giving it a negative value. One may define an acyclic network that has as its vertices the blocks of a mine, with an edge from each block to the blocks above it that must be removed earlier than it. The weight of each vertex in this network is the total value of its block, and the most profitable plan for mining can be determined by finding a maximum weight closure, and then forming a
topological ordering In computer science, a topological sort or topological ordering of a directed graph is a linear ordering of its vertices such that for every directed edge ''uv'' from vertex ''u'' to vertex ''v'', ''u'' comes before ''v'' in the ordering. For in ...
of the blocks in this closure.


Military targeting

In military operations, high-value targets such as command centers are frequently protected by layers of defense systems, which may in turn be protected by other systems. In order to reach a target, all of its defenses must be taken down, making it into a secondary target. Each target needs a certain amount of resources to be allocated to it in order to perform a successful attack. The optimal set of targets to attack, to obtain the most value for the resources expended, can be modeled as a closure problem.


Transportation network design

The problem of planning a freight delivery system may be modeled by a network in which the vertices represent cities and the (undirected) edges represent potential freight delivery routes between pairs of cities. Each route can achieve a certain profit, but can only be used if freight depots are constructed at both its ends, with a certain cost. The problem of designing a network that maximizes the difference between the profits and the costs can be solved as a closure problem, by subdividing each undirected edge into two directed edges, both directed outwards from the subdivision point. The weight of each subdivision point is a positive number, the profit of the corresponding route, and the weight of each original graph vertex is a negative number, the cost of building a depot in that city.. Together with open pit mining, this was one of the original motivating applications for studying the closure problem; it was originally studied in 1970, in two independent papers published in the same issue of the same journal by J. M. W. Rhys and
Michel Balinski Michel Louis Balinski (born Michał Ludwik Baliński; October 6, 1933 – February 4, 2019) was an applied mathematician, economist, operations research analyst and political scientist. As a Polish-American, educated in the United States, he liv ...
..


Job scheduling

and describe an application of the closure problem to a version of
job shop scheduling Job-shop scheduling, the job-shop problem (JSP) or job-shop scheduling problem (JSSP) is an optimization problem in computer science and operations research. It is a variant of optimal job scheduling. In a general job scheduling problem, we are give ...
in which one is given a collection of tasks to be scheduled to be performed, one at a time. Each task has two numbers associated with it: a weight or priority, and a processing time, the amount of time that it takes to perform that task. In addition the tasks have precedence constraints: certain tasks must be performed before others. These precedence constraints can be described by a directed acyclic graph ''G'' in which an edge from one task to another indicates that the first task must be performed earlier than the second one. The goal is to choose an ordering that is consistent with these constraints (a
topological ordering In computer science, a topological sort or topological ordering of a directed graph is a linear ordering of its vertices such that for every directed edge ''uv'' from vertex ''u'' to vertex ''v'', ''u'' comes before ''v'' in the ordering. For in ...
of ''G'') that minimizes the total weighted completion time of the tasks... Although (as Lawler shows) this scheduling problem is
NP-complete In computational complexity theory, a problem is NP-complete when: # it is a problem for which the correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by tryi ...
in general, Sidney describes a decomposition method that can help solve the problem by reducing it to several smaller problems of the same type. In particular, if ''S'' is a subset of the tasks that (among all subsets) has the largest possible ratio of its total weight to its total processing time, and in addition ''S'' is minimal among all sets with the same ratio, then there exists an optimal schedule in which all tasks in ''S'' are performed before all other tasks. As long as ''S'' is not the whole set of tasks, this partition of the tasks splits the scheduling problem into two smaller problems, one of scheduling ''S'' and one of scheduling the remaining tasks. Although ''S'' is a closure (for a graph with reversed edges from ''G'') the problem of finding ''S'' is not exactly a maximum weight closure problem, because the value of ''S'' is a ratio rather than a sum of weights. Nevertheless, Lawler shows that ''S'' may be found in polynomial time by a
binary search In computer science, binary search, also known as half-interval search, logarithmic search, or binary chop, is a search algorithm that finds the position of a target value within a sorted array. Binary search compares the target value to the m ...
algorithm in which each step of the search uses an instance of the closure problem as a subroutine.


References

{{reflist Mineral economics Combinatorial optimization Graph algorithms